Notes on Lyapunov’s theorem
نویسنده
چکیده
The following notes contain the proof of Lyapunov’s theorem for stability and asymptotic stability of an equilibrium point of a nonlinear system, along with applications to the proof of asymptotic stability of an equilibrium point via linearization, plus some comments on unstable equilibrium points. The material is adapted from Fornasini & Marchesini, Appunti di teoria dei sistemi (in Italian); the interested reader can find a general and broad exposition of Lyapunov theory in Khalil, Nonlinear systems.
منابع مشابه
Shortcut Node Classification for Membrane Residue Curve Maps
comNode classification within Membrane Residue Curves (M-RCMs) currently hinges on Lyapunov’s Theorem and therefore the computation of mathematically complex eigenvalues. This paper presents an alternative criterion for the classification of nodes within M-RCMs based on the total membrane flux at node compositions. This paper demonstrates that for a system exhibiting simple permeation behaviour...
متن کاملConstructive and Discrete Versions of the Lyapunov’s Stability Theorem and the Lasalle’s Invariance Theorem
The purpose of this paper is to establish discrete versions of the well-known Lyapunov’s stability theorem and LaSalle’s invariance theorem for a non-autonomous discrete dynamical system. Our proofs for these theorems are constructive in the sense that they are made by explicitly building a Lyapunov function for the system. A comparison between non-autonomous discrete dynamical systems and cont...
متن کاملMaharam-Types and Lyapunov’s Theorem for Vector Measures on Banach Spaces∗
This paper offers a sufficient condition, based on Maharam (1942) and re-emphasized by Hoover–Keisler (1984), for the validity of Lyapunov’s (1940) theorem on the range of an atomless vector measure taking values in an infinite-dimensional Banach space that is not necessarily separable nor has the RNP property. In particular, we obtain an extension of a corresponding result due to Uhl (1969). T...
متن کاملExtension of Lyapunov’s Convexity Theorem to Subranges
Consider a measurable space with a finite vector measure. This measure defines a mapping of the σ-field into a Euclidean space. According to Lyapunov’s convexity theorem, the range of this mapping is compact and, if the measure is atomless, this range is convex. Similar ranges are also defined for measurable subsets of the space. We show that the union of the ranges of all subsets having the sa...
متن کاملEvaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink
This paper examines the verification of stability, a control requirement, over discrete control systems represented as Simulink diagrams, using different model checking approaches and tools. Model checking comprises the (exhaustive) exploration of a model of a system, to determine if a requirement is satisfied. If that is not the case, examples of the requirement’s violation within the system’s...
متن کامل